<?php
/**
 * Created by PhpStorm.
 * User: leo
 * Date: 2018/5/14
 * Time: 13:09
 */
session_start();
if(isset($_SESSION['admin_num'])){
    echo '1';
}
else echo '0';